易验证下述序列满足条件:
其中
是固定的状态.